Operational Semantics of Reversibility in Process Algebra

Operational Semantics of Reversibility in Process Algebra

Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We discuss reversibility in major process algebras from the point of view of operational semantics. The main difficulty seems to be with the definitions of forward and reverse computation for...

Process Algebra and Structured Operational Semantics Process Algebra and Structured Operational Semantics

An Operational Semantics of Real-Time Process Algebra (RTPA)

The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a denotational mathematical structure and a system modeling methodology for describing the architectures and behaviors of real-time and nonrealtime software systems. This article presents an operational semantics of RTPA, which explains how ...

Operational Semantics of Process Monitors

CSPE is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system’s execution. Although CSPE has a tr...

An Operational Semantics for the Dataflow Algebra

This report defines an operational semantics for the event layer of the dataflow algebra, to complement the denotational semantics that has already been defined for it. The report defines a transition system and derivation sequences for this semantics, and then normal forms for these derivation sequences, which allow semantic functions to be defined directly for constructions in the algebra. Th...